From b61ed421d2c85b5b106c63f2c14f8aa162b282f0 Mon Sep 17 00:00:00 2001
From: Jan Beulich <jbeulich@suse.com>
Date: Wed, 13 Feb 2013 09:31:48 +0100
Subject: [PATCH] x86: fix map_domain_page() leak from
 vcpu_destroy_pagetables()

Introduced by c/s 26450:4816763549e0 and exposed with
26523:fd997a96d448.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
---
 xen/arch/x86/domain.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index a58cc1a98f..b7f6749cca 100644
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -1997,6 +1997,7 @@ static void vcpu_destroy_pagetables(struct vcpu *v)
         }
 
         l4e_write(l4tab, l4e_empty());
+        unmap_domain_page(l4tab);
 
         v->arch.cr3 = 0;
         return;
-- 
2.30.2